UML Profile for MARTE: Time Model and CCSL
نویسنده
چکیده
This 90 minutes tutorial gives a basic introduction to the UML Profile for MARTE (Modeling and Analysis of Real-Time and Embedded systems) adopted by the Object Management Group. After a brief introduction to the UML profiling mechanism, we give a broad overview of the MARTE Profile. Then, the tutorial shall focus on the time model of MARTE and its companion language CCSL (Clock Constraint Specification Language).
منابع مشابه
Clocks Model for Specification and Analysis of Timing in Real-Time Embedded Systems
Problems concerning formal semantics for Clock Constraint Specification Language (CCSL) are considered in the paper. CCSL is intended for describing logical time models for real-time embedded systems and the language is a part of UML profile for MARTE. There exist two approaches to introduce a denotational semantics for CCSL. A pure relational subset of CCSL is defined in the paper. The notion ...
متن کاملClock Constraints in UML/MARTE CCSL
The UML Pro le for Modeling and Analysis of Real-Time and Embedded (RTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and o ers a broad range of capabilities required to model RTE systems including both discrete/dense and chronometric/logical time. MARTE OMG speci cation introduces a Time Structure inspired...
متن کاملVerifying MARTE/CCSL Mode Behaviors Using UPPAAL
In the development of safety-critical embedded systems, the ability to formally analyze system behavior models, based on timing and causality, helps the designer to get insight into the systems overall timing behavior. To support the design and analysis of real-time embedded systems, the UML modeling profile MARTE provides CCSL – a time model and a clock constraint specification language. CCSL ...
متن کاملSyntax and Semantics of the Clock Constraint Specification Language (CCSL)
The UML Pro le for Modeling and Analysis of Real-Time and Embedded (MARTE) systems has recently been adopted by the OMG. Its Time Model extends the informal and simplistic Simple Time package proposed by UML2 and o ers a broad range of capabilities required to model real-time systems. The MARTE OMG speci cation introduces a Time Structure inspired from Time models of the concurrency theory and ...
متن کاملBoundness Issues in CCSL Specifications
The UML Profile for Modeling and Analysis of Real-Time and Embedded systems promises a general modeling framework to design and analyze systems. Lots of works have been published on the modeling capabilities offered by MARTE, much less on verification techniques supported. The Clock Constraint Specification Language (CCSL), first introduced as a companion language for MARTE, was devised to offe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013